introduction to type promotion